Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 318 results
Sort by: relevance publication year

Tools for Grammar Engineering

BOOK CHAPTER published 2012 in Computational Issues in Fluid Construction Grammar

Authors: Martin Loetzsch

Precise Parameter Synthesis for Stochastic Biochemical Systems

BOOK CHAPTER published 2014 in Computational Methods in Systems Biology

Authors: Milan Češka | Frits Dannenberg | Marta Kwiatkowska | Nicola Paoletti

Grammar Debugging

BOOK CHAPTER published 2015 in Systems and Frameworks for Computational Morphology

Authors: Michael Maxwell

Chapter I Mathematical Background

BOOK CHAPTER published 1984 in Computational Methods for Optimizing Distributed Systems

Complex Declension Systems and Morphology in Fluid Construction Grammar: A Case Study of Polish

BOOK CHAPTER published 2012 in Computational Issues in Fluid Construction Grammar

Authors: Sebastian Höfer

A System for Archivable Grammar Documentation

BOOK CHAPTER published 2013 in Systems and Frameworks for Computational Morphology

Authors: Michael Maxwell

Autonomic Nature-Inspired Eco-systems

BOOK CHAPTER published 2012 in Transactions on Computational Science XV

Authors: Antonio Manzalini | Nermin Brgulja | Corrado Moiso | Roberto Minerva

Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

BOOK CHAPTER published 2018 in Computational Methods in Systems Biology

Authors: Golestan Sally Radwan | Hugh Shanahan

Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli

BOOK CHAPTER published 2018 in Computational Methods in Systems Biology

Authors: Samuel M. D. Oliveira | Mohamed N. M. Bahrudeen | Sofia Startceva | Vinodh Kandavalli | Andre S. Ribeiro

The Numerical Approach to Analysis of Microchannel Cooling Systems

BOOK CHAPTER published 2005 in Lecture Notes in Computer Science

Authors: Ewa Raj | Zbigniew Lisik | Malgorzata Langer | Grzegorz Tosik | Janusz Wozny

Synthesis for Vesicle Traffic Systems

BOOK CHAPTER published 2018 in Computational Methods in Systems Biology

Authors: Ashutosh Gupta | Somya Mani | Ankit Shukla

Coordination Between Logical Agents

BOOK CHAPTER published 2005 in Lecture Notes in Computer Science

Authors: Chiaki Sakama | Katsumi Inoue

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)

BOOK CHAPTER published 2019 in Computational Methods in Systems Biology

Authors: Milan Češka | Jan Křetínský

(Mathematical) Logic for Systems Biology (Invited Paper)

BOOK CHAPTER published 2016 in Computational Methods in Systems Biology

Authors: Joëlle Despeyroux

Mathematical Preliminaries

BOOK CHAPTER published 28 June 2000 in Optical Science and Engineering

Abstraction-Based Segmental Simulation of Chemical Reaction Networks

BOOK CHAPTER published 2022 in Computational Methods in Systems Biology

Authors: Martin Helfrich | Milan Češka | Jan Křetínský | Štefan Martiček

Brane Calculi

BOOK CHAPTER published 2005 in Computational Methods in Systems Biology

Authors: Luca Cardelli

Parameter Synthesis by Parallel Coloured CTL Model Checking

BOOK CHAPTER published 2015 in Computational Methods in Systems Biology

Authors: Luboš Brim | Milan Češka | Martin Demko | Samuel Pastva | David Šafránek

Functional Methods in Stochastic Systems

BOOK CHAPTER published 2012 in Mathematical Modeling and Computational Science

Authors: Juha Honkonen

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks

BOOK CHAPTER published 2018 in Computational Methods in Systems Biology

Authors: Souradeep Dutta | Taisa Kushner | Sriram Sankaranarayanan